Merge pull request #1100 from ajs-sun/master
authordavidcunado-arm <[email protected]>
Wed, 11 Oct 2017 12:56:38 +0000 (13:56 +0100)
committerGitHub <[email protected]>
Wed, 11 Oct 2017 12:56:38 +0000 (13:56 +0100)
trusty: save/restore FPU registers in world switch


Trivial merge